package com.example.jdk17.extend;

/**
 * 限定可以继承的类，只有 Tesla、Prius 类可以继承 Ev 类
 */
public abstract sealed class Ev permits Tesla, Prius {
}
